Hessian Nilpotent Polynomials and the Jacobian Conjecture

Let z = (z1, · · · , zn) and ∆ = ∑n i=1 ∂ 2 ∂z i the Laplace operator. The main goal of the paper is to show that the wellknown Jacobian conjecture without any additional conditions is equivalent to the following what we call vanishing conjecture: for any homogeneous polynomial P (z) of degree d = 4, if ∆P(z) = 0 for all m ≥ 1, then ∆P(z) = 0 when m >> 0, or equivalently, ∆P(z) = 0 when m > 3 2 (3 − 1). It is also shown in this paper that the condition ∆P(z) = 0 (m ≥ 1) above is equivalent to the condition that P (z) is Hessian nilpotent, i.e. the Hessian matrix HesP (z) = ( ∂ 2 P ∂zi∂zj ) is nilpotent. The goal is achieved by using the recent breakthrough work of M. de Bondt, A. van den Essen [BE1] and various results obtained in this paper on Hessian nilpotent polynomials. Some further results on Hessian nilpotent polynomials and the vanishing conjecture above are also derived.